Service composition in stochastic settings

With the growth of the Internet-of-Things and online Web services, more services with more capabilities are available to us. The ability to generate new, more useful services from existing ones has been the focus of much research for over a decade. The goal is, given a specification of the behavior of the target service, to build a controller, known as an orchestrator, that uses existing services to satisfy the requirements of the target service. The model of services and requirements used in most work is that of a finite state machine. This implies that the specification can either be satisfied or not, with no middle ground. This is a major drawback, since often an exact solution cannot be obtained. In this paper we study a simple stochastic model for service composition: we annotate the tar- get service with probabilities describing the likelihood of requesting each action in a state, and rewards for being able to execute actions. We show how to solve the resulting problem by solving a certain Markov Decision Process (MDP) derived from the service and requirement specifications. The solution to this MDP induces an orchestrator that coincides with the exact solution if a composition exists. Otherwise it provides an approximate solution that maximizes the expected sum of values of user requests that can be serviced. The model studied although simple shades light on composition in stochastic settings and indeed we discuss several possible extensions

Chiral transition and deconfinement in N_f = 2 QCD

The transition is studied by means of a disorder parameter detecting condensation of magnetic monopoles in the vacuum. The deconfining transition is found to coincide with the chiral transition and the susceptibility \rho, related to the disorder parameter, is consistent with a first order phase transition.Comment: 3 pages, 2 figures. Poster presented at Lattice2004(topology), Fermilab, June 21-26, 200

Beyond divide and rule: weak dictators, natural resources and civil conflict

We propose a model where an autocrat rules over an ethnically divided society. The dictator selects the tax rate over domestic production and the nation's natural resources to maximize his rents under the threat of a regime-switching revolution. We show that a weak ruler may let the country plunge in civil war to increase his personal rents. Inter-group fighting weakens potential opposition to the ruler, thereby allowing him to increase fiscal pressure. We show that the presence of natural resources exacerbatesthe incentives of the ruler to promote civil conflict for his own profit, especially if the resources are unequally distributed across ethnic groups. We validate the main predictions of the model using cross-country data over the period 1960-2007, and show that our empirical results are not likely to be driven by omitted observable determinants of civil war incidence or by unobservable country-specific heterogeneity.

Color confinement and dual superconductivity of the vacuum. III

It is demonstrated that monopole condensation in the confined phase of SU(2) and SU(3) gauge theories is independent of the specific Abelian projection used to define the monopoles. Hence the dual excitations which condense in the vacuum to produce confinement must have magnetic U(1) charge in all the Abelian projections. Some physical implications of this result are discussed.Comment: 6 pages, 5 postscript figure

Extending DL-LiteR TBoxes with view definitions

Views are a mechanisms for precomputing answers to query of particular significance. Views have a definition (the query itself) and an extension obtained by evaluating the query over the data sources. Views are used for controlling the access to data and keep data even when the original sources are not accessible anymore. In this paper we introduce views definitions in DL-LiteR ontologies as an additional form of assertions in the TBox, and we study the basic reasoning tasks involving them, including consistency, containment, disjointness, projection classification, and query answering

From Component-Based Architectures to Microservices: A 25-years-long Journey in Designing and Realizing Service-Based Systems

Distributed information systems and applications are generally described in terms of components and interfaces among them. How these component-based architectures have been designed and implemented evolved over the years, giving rise to the so-called paradigm of Service-Oriented Computing (SOC). In this chapter, we will follow a 25-years-long journey on how design methodologies and supporting technologies influenced one each other, and we discuss how already back in the late 90s the ancestors of the SOC paradigm were there, already paving the way for the technological evolution recently leading to microservice architectures and serverless computing

Mimicking Behaviors in Separated Domains

Devising a strategy to make a system mimic behaviors from another system is a problem that naturally arises in many areas of Computer Science. In this work, we interpret this problem in the context of intelligent agents, from the perspective of LTLf , a formalism commonly used in AI for expressing finite-trace properties. Our model consists of two separated dynamic domains, DA and DB , and an LTLf specification that formalizes the notion of mimicking by mapping properties on behaviors (traces) of DA into properties on behaviors of DB . The goal is to synthesize a strategy that step-by-step maps every behavior of DA into a behavior of DB so that the specification is met. We consider several forms of mapping specifications, ranging from simple ones to full LTLf , and for each, we study synthesis algorithms and computational properties

A finite temperature investigation of dual superconductivity in the modified SO(3) lattice gauge theory

We study the SO(3) lattice gauge theory in 3+1 dimensions with the adjoint Wilson action modified by a $\mathbb{Z}_2$ monopole suppression term and by means of the Pisa disorder operator. We find evidence for a finite temperature deconfinement transition driven by the condensation of U(1) magnetic charges. A finite-size scaling test shows consistency with the critical exponents of the 3D Ising model.Comment: 14 pages, 4 figures. Layout changed, figures, text and references added. To appear on Physics Letters

Ordered Level Planarity, Geodesic Planarity and Bi-Monotonicity

We introduce and study the problem Ordered Level Planarity which asks for a planar drawing of a graph such that vertices are placed at prescribed positions in the plane and such that every edge is realized as a y-monotone curve. This can be interpreted as a variant of Level Planarity in which the vertices on each level appear in a prescribed total order. We establish a complexity dichotomy with respect to both the maximum degree and the level-width, that is, the maximum number of vertices that share a level. Our study of Ordered Level Planarity is motivated by connections to several other graph drawing problems. Geodesic Planarity asks for a planar drawing of a graph such that vertices are placed at prescribed positions in the plane and such that every edge is realized as a polygonal path composed of line segments with two adjacent directions from a given set $S$ of directions symmetric with respect to the origin. Our results on Ordered Level Planarity imply $NP$-hardness for any $S$ with $|S|\ge 4$ even if the given graph is a matching. Katz, Krug, Rutter and Wolff claimed that for matchings Manhattan Geodesic Planarity, the case where $S$ contains precisely the horizontal and vertical directions, can be solved in polynomial time [GD'09]. Our results imply that this is incorrect unless $P=NP$. Our reduction extends to settle the complexity of the Bi-Monotonicity problem, which was proposed by Fulek, Pelsmajer, Schaefer and \v{S}tefankovi\v{c}. Ordered Level Planarity turns out to be a special case of T-Level Planarity, Clustered Level Planarity and Constrained Level Planarity. Thus, our results strengthen previous hardness results. In particular, our reduction to Clustered Level Planarity generates instances with only two non-trivial clusters. This answers a question posed by Angelini, Da Lozzo, Di Battista, Frati and Roselli.Comment: Appears in the Proceedings of the 25th International Symposium on Graph Drawing and Network Visualization (GD 2017

Can Violence Harm Cooperation? Experimental Evidence

In this paper we argue that natural resource conservation is jeopardised by the ability of users to resort to violence to appropriate resources when they become scarce. We provide evidence from a lab experiment that participants interacting in a dynamic game of common pool resource extraction reduce their cooperation on efficient levels of resource extraction when given the possibility to appropriate the resource at some cost, i.e. through conflict. Theoretically, cooperation is achievable via the threat of punishment strategies, which stop being subgame perfect in the presence of conflict. Accordingly we argue that the observed reduction of cooperation in the game's early stages in the lab is a consequence of participants (correctly) anticipating the use of appropriation when resources become scarce